6.08/7.28	unsat
