16.87/18.57	unsat
