7.88/7.94	unsat
