17.43/18.42	unsat
