22.03/24.79	unsat
