1.49/5.23	unsat
