21.08/24.59	unsat
