16.67/17.31	unsat
