16.57/18.11	unsat
