19.77/19.84	unsat
