0.19/0.81	unsat
