17.47/18.54	unsat
