17.95/19.39	unsat
