10.32/16.52	unsat
