5.08/7.07	unsat
