22.16/25.58	unsat
