17.46/18.42	unsat
