16.57/17.37	unsat
