25.81/25.94	unsat
