21.62/24.29	unsat
