18.17/18.53	unsat
