18.36/18.95	unsat
