6.08/8.71	unsat
