25.89/25.97	unsat
