18.78/19.99	unsat
