19.93/20.02	unsat
