18.95/19.89	unsat
