16.57/18.64	unsat
