6.48/7.26	unsat
