7.87/9.61	unsat
