6.17/8.71	unsat
