22.06/24.42	unsat
