1.49/4.23	unsat
