0.68/1.49	unsat
