22.94/25.58	unsat
