0.28/0.77	unsat
