18.36/18.40	unsat
