7.68/7.94	unsat
