25.38/25.45	unsat
