7.01/10.66	unsat
