6.57/8.07	unsat
