16.67/17.15	unsat
