7.87/7.91	unsat
