19.95/21.84	unsat
