7.87/7.94	unsat
