21.05/24.43	unsat
