8.58/10.32	unsat
