1.69/2.49	unsat
