19.78/24.73	unsat
