5.75/7.09	unsat
