1.49/5.22	unsat
