17.35/18.47	unsat
