6.99/7.94	unsat
