7.68/8.04	unsat
