21.84/24.44	unsat
