16.67/18.52	unsat
