1.30/2.52	unsat
