18.95/19.49	unsat
