22.93/25.97	unsat
