18.16/18.53	unsat
