16.47/18.23	unsat
