1.30/2.94	unsat
