16.67/18.68	unsat
