6.48/7.78	unsat
