5.49/6.26	unsat
