1.30/2.49	unsat
