0.54/0.61	unsat
