8.18/10.52	unsat
