22.33/24.79	unsat
