16.32/18.52	unsat
