19.26/22.02	unsat
