17.80/18.95	unsat
