4.88/6.61	unsat
