18.85/20.15	unsat
