0.32/0.49	unsat
