1.18/3.49	unsat
