6.88/6.94	unsat
