22.84/25.97	unsat
