0.14/0.44	unsat
